\begin{tabbing}
eq\_bd($p$; $q$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$band(\=($p$.1 =$_{0}$ $q$.1);\+
\\[0ex]if\= bor(($p$.1 =$_{0}$ 1); bor(($p$.1 =$_{0}$ 2); bor(($p$.1 =$_{0}$ 6); ($p$.1 =$_{0}$ 9))))\+
\\[0ex]then eq\_id(($p$.2); ($q$.2))
\-\\[0ex]if\= ($p$.1 =$_{0}$ 3)\+
\\[0ex]then band(eq\_lnk((($p$.2).1); (($q$.2).1)); eq\_id(($p$.2.2); ($q$.2.2)))
\-\\[0ex]if\= ($p$.1 =$_{0}$ 4)\+
\\[0ex]then band(eq\_knd((($p$.2).1); (($q$.2).1)); eq\_id(($p$.2.2); ($q$.2.2)))
\-\\[0ex]if\= ($p$.1 =$_{0}$ 5)\+
\\[0ex]then band(eq\_knd((($p$.2).1); (($q$.2).1)); eq\_lnk(($p$.2.2); ($q$.2.2)))
\-\\[0ex]if bor(($p$.1 =$_{0}$ 7); ($p$.1 =$_{0}$ 8)) then eq\_knd(($p$.2); ($q$.2)) else tt fi )
\-
\end{tabbing}